#include<bits/stdc++.h> 
using namespace std;
int cnt[14];
int main() {
  for (int i = 1; i <= 7; ++i) {
    int x;
    scanf("%d", &x);
    ++cnt[x];
  }
  std::sort(cnt + 1, cnt + 13 + 1);
  if (cnt[13] >= 3 && cnt[12] >= 2) {
    puts("Yes");
  } else {
    puts("No");
  }
  return 0;
}